(0 17 15)(1 20 3)(2 9 7)(4 16 5)(6 19 12)(8 14 10)(11 18 13)
ALLOWS (11/8)-SEQUENCE
1: (5 6 19)

(0 17 15)(1 20 3)(2 9 7)(4 16 5 12 6)(8 14 10)(11 18 13)(19)
2: (5 12 16)

(0 17 15)(1 20 3)(2 9 7)(4 16 6)(5)(8 14 10)(11 18 13)(12)(19)
3: (0 17 15)

(0)(1 20 3)(2 9 7)(4 16 6)(5)(8 14 10)(11 18 13)(12)(15)(17)(19)
4: (11 18 13)

(0)(1 20 3)(2 9 7)(4 16 6)(5)(8 14 10)(11)(12)(13)(15)(17)(18)(19)